DEF=main
EXT=a
TESTDIR=.
RESULTDIR=.

KOMPILE_FLAGS=--syntax-module MAIN
KOMPILE_BACKEND?=haskell

KPROVE_FLAGS=

include ../../../include/kframework/ktest.mak
